Définition fonctionnelle (Définition 2.1.1)
Une variable aléatoire $X$ est une fonction $X: S \to R^1$ qui attribue un nombre réel $X(s)$ à chaque issue possible $s$ de l'espace échantillonnage $S$. Voir Figure 2.1.1 pour la représentation visuelle de ce processus.
Pour relier la théorie des ensembles et l'arithmétique, nous définissons la fonction indicatrice d'un événement $A$ :
$$I_A(s) = \begin{cases} 1 & s \in A \\ 0 & s \notin A \end{cases}$$
Cela transforme la survenue d'un événement en un signal numérique binaire.
Définir les distributions (Définition 2.2.1)
La « distribution » de $X$ est l'ensemble des probabilités $P(X \in B)$ pour les sous-ensembles $B \subseteq R^1$. En termes stricts, il est nécessaire que $B$ soit un sous-ensemble de Borel, ce qui constitue une restriction technique issue de la théorie de la mesure. Toutefois, tout sous-ensemble que nous pouvons définir de façon pratique est un sous-ensemble de Borel.
Limites et continuité des probabilités
Pour garantir que nos fonctions se comportent de manière prévisible dans les contextes infinis, nous nous appuyons sur les axiomes établis dans les théorèmes 1.3.4 et 1.6.1 :
- Additivité dénombrable (1.7.1) : $P(A_1 \cup A_2 \cup \cdots) = \sum P(B_n)$, où $B_n$ sont des versions disjointes de $A_n$.
- Continuité de la probabilité (1.7.2) : Si une suite d'événements $\{A_n\} \nearrow A$, alors $\lim_{n \to \infty} P(A_n) = P(A)$.
Nous voulons prouver que pour toute suite d'événements $A_1, A_2, \dots$ (pas nécessairement disjoints) :
$$P(A_1 \cup A_2 \cup \cdots) \leq P(A_1) + P(A_2) + \cdots$$
Ceci est connu sous le nom d'inégalité de Boole et est fondamental pour encadrer les probabilités dans des systèmes complexes.